Insights into the Fallback Path of Best-Effort Hardware Transactional Memory Systems

DOI 10.1007/978-3-319-43659-3Current industry proposals for Hardware Transactional Memory (HTM) focus on best-effort solutions (BE-HTM) where hardware limits are imposed on transactions. These designs may show a significant performance degradation due to high contention scenarios and different hardware and operating system limitations that abort transactions, e.g. cache overflows, hardware and software exceptions, etc. To deal with these events and to ensure forward progress, BE-HTM systems usually provide a software fallback path to execute a lock-based version of the code. In this paper, we propose a hardware implementation of an irrevocability mechanism as an alternative to the software fallback path to gain insight into the hardware improvements that could enhance the execution of such a fallback. Our mechanism anticipates the abort that causes the transaction serialization, and stalls other transactions in the system so that transactional work loss is mini- mized. In addition, we evaluate the main software fallback path approaches and propose the use of ticket locks that hold precise information of the number of transactions waiting to enter the fallback. Thus, the separation of transactional and fallback execution can be achieved in a precise manner. The evaluation is carried out using the Simics/GEMS simulator and the complete range of STAMP transactional suite benchmarks. We obtain significant performance benefits of around twice the speedup and an abort reduction of 50% over the software fallback path for a number of benchmarks.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Development and Testing of a 2-D Transfer CCD

This paper describes the development, operation, and characterization of charge-coupled devices (CCDs) that feature an electrode structure that allows the transfer of charge both horizontally and vertically through the image area. Such devices have been termed two-dimensional (2-D) transfer CCDs (2DT CCDs), as opposed to the conventional devices, which might be called one-dimensional transfer CCDs, but in other respects are the same as conventional CCD devices. Batches of two different 2DT CCD test devices, featuring different electrode structures but with identical clocking operation in each case, were produced and tested. The methodology of 2-D charge transfer in each of the device types is described, followed by a presentation of test results from the new CCDs. The ability of both 2DT CCD transfer electrode schemes to successfully transfer charge in both horizontal and vertical directions in the image section of the devices has been proven, opening up potential new applications for 2DT CCD use

Longevity and developmental stability in the dung fly Sepsis cynipsea, as affected by the ectoparasitic mite, Pediculoides mesembrinae

This is the final version of the article. Available from [Oxford University Press via the DOI in this record.Fluctuating asymmetry (FA) is a widely employed measure of developmental stability. It has been found to increase with many stressors including parasite infection. Associations between parasites and FA may exist for several reasons in addition to parasites being the direct cause of increased FA. Developmentally stable individuals may have superior immune systems, and be less susceptible to parasite infection, and/or may be less exposed to parasites than developmentally unstable ones. Mites negatively impact host fitness in a number of insects, and if FA is a reflection of general genetic quality, as has been proposed, associations between mite number and FA are predicted. Potential relationships were investigated between an ectoparasitic mite, Pediculoides mesembrinae (Canestrini) (Phthiraptera: Menoponidae) and FA in the common dung fly Sepsis cynipsea (L.) (Diptera: Sepsidae). While it was found that mite infested flies died much faster than flies without mites, indicating that mites indeed stress their hosts, counter to expectations, no associations between mites and FA were found in any analyses. Additionally, FA in mite-infected flies generally did not differ from previously published FA data from uninfected S. cynipsea. Nevertheless, parasitized males tended to be somewhat less asymmetrical than non-parasitized males, but based on our data, it does not appear that mite infestation is generally associated with developmental stability in S. cynipsea.We thank Hansueli Ochs, Bundesamt für Veterinärwesen BVET, Switzerland, for identification of the mites and for information on their behaviour and habits and Marco Demont for kindly supplying mites for the experimental infection experiment. Thanks also to Thomas Gut and Regina Schwilch for help measuring flies and counting mites, John Hunt and numerous other colleagues for discussion, and to the SNF, ESF and NERC for financial support

Intraoperative changes in blood coagulation and thrombelastographic monitoring in liver transplantation

The blood coagulation system of 66 consecutive patients undergoing consecutive liver transplantations was monitored by thrombelastograph and analytic coagulation profile. A poor preoperative coagulation state, decrease in levels of coagulation factors, progressive fibrinolysis, and whole blood clot lysis were observed during the preanhepatic and anhepatic stages of surgery. A further general decrease in coagulation factors and platelets, activation of fibrinolysis, and abrupt decrease in levels of factors V and VIII occurred before and with reperfusion of the homograft. Recovery of blood coagulability began 30-60 min after reperfusion of the graft liver, and coagulability had returned toward baseline values 2 hr after reperfusion. A positive correlation was shown between the variables of thrombelastography and those of the coagulation profile. Thrombelastography was shown to be a reliable and rapid monitoring system. Its use was associated with a 33% reduction of blood and fluid infusion volume, whereas blood coagulability was maintained without an increase in the number of blood product donors

Global oceanic emission of ammonia: constraints from seawater and atmospheric observations

Current global inventories of ammonia emissions identify the ocean as the largest natural source. This source depends on seawater pH, temperature, and the concentration of total seawater ammonia (NHx(sw)), which reflects a balance between remineralization of organic matter, uptake by plankton, and nitrification. Here we compare [NHx(sw)] from two global ocean biogeochemical models (BEC and COBALT) against extensive ocean observations. Simulated [NHx(sw)] are generally biased high. Improved simulation can be achieved in COBALT by increasing the plankton affinity for NHx within observed ranges. The resulting global ocean emissions is 2.5 TgN a−1, much lower than current literature values (7–23 TgN a−1), including the widely used Global Emissions InitiAtive (GEIA) inventory (8 TgN a−1). Such a weak ocean source implies that continental sources contribute more than half of atmospheric NHx over most of the ocean in the Northern Hemisphere. Ammonia emitted from oceanic sources is insufficient to neutralize sulfate aerosol acidity, consistent with observations. There is evidence over the Equatorial Pacific for a missing source of atmospheric ammonia that could be due to photolysis of marine organic nitrogen at the ocean surface or in the atmosphere. Accommodating this possible missing source yields a global ocean emission of ammonia in the range 2–5 TgN a−1, comparable in magnitude to other natural sources from open fires and soils

In vitro synergy and enhanced murine brain penetration of saquinavir coadministered with mefloquine.

Highly active antiretroviral therapy has substantially improved prognosis in human immunodeficiency virus (HIV). However, the integration of proviral DNA, development of viral resistance, and lack of permeability of drugs into sanctuary sites (e.g., brain and lymphocyte) are major limitations to current regimens. Previous studies have indicated that the antimalarial drug chloroquine (CQ) has antiviral efficacy and a synergism with HIV protease inhibitors. We have screened a panel of antimalarial compounds for activity against HIV-1 in vitro. A limited efficacy was observed for CQ, mefloquine (MQ), and mepacrine (MC). However, marked synergy was observed between MQ and saquinavir (SQV), but not CQ in U937 cells. Furthermore, enhancement of the antiviral activity of SQV and four other protease inhibitors (PIs) by MQ was observed in MT4 cells, indicating a class specific rather than a drug-specific phenomenon. We demonstrate that these observations are a result of inhibition of multiple drug efflux proteins by MQ and that MQ also displaces SQV from orosomucoid in vitro. Finally, coadministration of MQ and SQV in CD-1 mice dramatically altered the tissue distribution of SQV, resulting in a >3-fold and >2-fold increase in the tissue/blood ratio for brain and testis, respectively. This pharmacological enhancement of in vitro antiviral activity of PIs by MQ now warrants further examination in vivo

A proposal for a comprehensive grading of Parkinson's disease severity combining motor and non-motor assessments: meeting an unmet need.

Non-motor symptoms are present in Parkinson's disease (PD) and a key determinant of quality of life. The Non-motor Symptoms Scale (NMSS) is a validated scale that allows quantifying frequency and severity (burden) of NMS. We report a proposal for using NMSS scores to determine levels of NMS burden (NMSB) and to complete PD patient classification

A qualitative study of self-evaluation of junior doctor performance: is perceived ’safeness’ a more useful metric than confidence and competence?

© 2015 The Authors. Published by BMJ. This is an open access article available under a Creative Commons licence. The published version can be accessed at the following link on the publisher’s website: http://dx.doi.org/10.1136/bmjopen-2015-008521Objectives: The terms confidence and competence have been poorly defined and are often misused by junior doctors. Given safe practice relies on healthcare professionals being aware of their own skill sets improving self-assessment of confidence and competence is important. The aim of this work was to explore junior doctors’ understanding of how they perceive their own performance in respect of managing feverish children in an emergency department. Setting: A children’s emergency department in a tertiary hospital in the East Midlands, UK. Participants: 22 Junior doctors volunteered to undertake focus groups via a meta-planning methodology over 2 years (14 participants in the first year and 8 in the second). Results: Although doctors were aware of the difference between confidence and competence they were not able to distinguish between them in practical terms. The feeling of being ‘safe’ emerged as a term in which there was a shared understanding compared to reported confidence and competence. Conclusions: A perception of ‘safeness’ is a concept that may aid self-evaluation and we present a matrix that might be used by supervisors and educators to examine this and its relationship with confidence and competence.NIH

Can linear collocation ever beat quadratic?

Computational approaches are becoming increasingly important in neuroscience, where complex, nonlinear systems modelling neural activity across multiple spatial and temporal scales are the norm. This paper considers collocation techniques for solving neural field models, which typically take the form of a partial integro-dfferential equation. In particular, we investigate and compare the convergence properties of linear and quadratic collocation on both regular grids and more general meshes not fixed to the regular Cartesian grid points. For regular grids we perform a comparative analysis against more standard techniques, in which the convolution integral is computed either by using Fourier based methods or via the trapezoidal rule. Perhaps surprisingly, we find that on regular, periodic meshes, linear collocation displays better convergence properties than quadratic collocation, and is in fact comparable with the spectral convergence displayed by both the Fourier based and trapezoidal techniques. However, for more general meshes we obtain superior convergence of the convolution integral using higher order methods, as expected

A numerical simulation of neural fields on curved geometries

Despite the highly convoluted nature of the human brain, neural field models typically treat the cortex as a planar two-dimensional sheet of neurons. Here, we present an approach for solving neural field equations on surfaces more akin to the cortical geometries typically obtained from neuroimaging data. Our approach involves solving the integral form of the partial integro-differential equation directly using collocation techniques alongside efficient numerical procedures for determining geodesic distances between neural units. To illustrate our methods, we study localised activity patterns in a two-dimensional neural field equation posed on a periodic square domain, the curved surface of a torus, and the cortical surface of a rat brain, the latter of which is constructed using neuroimaging data. Our results are twofold: Firstly, we find that collocation techniques are able to replicate solutions obtained using more standard Fourier based methods on a flat, periodic domain, independent of the underlying mesh. This result is particularly significant given the highly irregular nature of the type of meshes derived from modern neuroimaging data. And secondly, by deploying efficient numerical schemes to compute geodesics, our approach is not only capable of modelling macroscopic pattern formation on realistic cortical geometries, but can also be extended to include cortical architectures of more physiological relevance. Importantly, such an approach provides a means by which to investigate the influence of cortical geometry upon the nucleation and propagation of spatially localised neural activity and beyond. It thus promises to provide model-based insights into disorders like epilepsy, or spreading depression, as well as healthy cognitive processes like working memory or attention